Optimisti Repli ation Algorithms

Repli ation Requirements in Mobile Environments

Verifying Repli ation on a Distributed Shared Data Spa e with Time Stamps

Abstra t| We investigate transparent repli ation of omponents on top of the distributed data spa e ar hite ture Spli e. In Spli e ea h omponent has its own lo al data spa e whi h an be kept small using keys, time stamps and sele tive overwriting. Sin e Spli e appli ations are often safetyriti al, we use two omplementary formal tools to ensure orre tness: the CRL tool set is used for a rapid inv...

Agent Repli ation in Multi-Agent Systems

Verifying Repli ation on a

Data Invalidation and Prefetching for Transparent Edge-Service Replication

ABSTRACT In this paper we study the problem of Transparent Edgeservi e Repli ation in edge server ar hite tures, whi h strive to push ontent away from a single server and toward replias lo ated at the edges of the network. We examine two known algorithms, FIFO invaliadate and FIFO push-all and show that they do not utilize bandwidth e e tively, and that they either su er from low availability a...